61. Theory and Applications of Formal Argumentation : 4th International Workshop, TAFA 2017, Melbourne, VIC, Australia, August 19-20, 2017, Revised Selected Papers
پدیدآورنده : edited by Elizabeth Black, Sanjay Modgil, Nir Oren
کتابخانه: کتابخانه مرکز پژوهش متالورژی رازی (تهران)
موضوع : ، Artificial intelligence,، Computer logic,، Computer science
رده :
QA
76
.
9
.
T34
2018
62. Towards Evolvable Hardware :
پدیدآورنده : edited by Eduardo Sanchez, Marco Tomassini.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic design.
رده :
TK7888
.
4
E358
1996
63. Uncertainty Analysis in Engineering and Sciences: Fuzzy Logic, Statistics, and Neural Network Approach
پدیدآورنده : by Bilal M. Ayyub, Madan M. Gupta.
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence.,Computer science.,Logic, Symbolic and mathematical.,Mathematical optimization.,Operations research.
64. Uncertainty treatment using paraconsistent logic
پدیدآورنده : Joao Inacio da Silva Filho, Germano Lambert-Torres and Jair Minoro Abe
کتابخانه: كتابخانه مركزی دانشكده نفت اهواز (خوزستان)
موضوع : Neural networks (Computer science),Uncertainty (Information theory),Logic programming,Inconsistency (Logic),Artificial intelligence
رده :
QA
,
76
.
87
,.
S57
,
2010
65. Wissensbasierte Systeme.
پدیدآورنده : Wilfried Brauer
کتابخانه: مرکز و کتابخانه مطالعات اسلامی به زبان‌های اروپایی (قم)
موضوع : Artificial intelligence -- Congresses.,Expert systems (Computer science) -- Congresses.,Logic machines -- Congresses.
66. نظریه فازی مبانی و پیاده‌سازی
پدیدآورنده : / تالیف سهراب خان‌محمدی، جواد جاسبی.,خان‌محمدی
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه تهران (تهران)
موضوع : منطق فازی,Fuzzy logic,هوش مصنوعی,Artificial intelligence,شبکه‌های عصبی (کامپیوتر),Neural networks (Computer science),a01,a01,a02,a02,a03,a03
رده :
QA
۹
/
۶۴
/
خ
۲
ن
۶ ۱۳۹۶
